from lpython import i32

def exit(error_code: i32):
    """
    Exits the program with an error code `error_code`.
    """

    quit(error_code)

# >----------------------------------- argv ----------------------------------->
@ccall
def _lpython_get_argc() -> i32:
    pass

@ccall
def _lpython_get_argv(index: i32) -> str:
    pass

# def _lpython_argv() -> list[str]:
#     """
#     Gets the list of command line arguments
#     """
#     argc: i32 = _lpython_get_argc()
#     argv: list[str] = []
#     i: i32
#     for i in range(argc):
#         argv.append(_lpython_get_argv(i))
#     return argv
# 
# argv: list[str] = _lpython_argv()

# <----------------------------------- argv -----------------------------------<
